Prof. F. T. Hill

Prof. Dr. Prof. Prof.

T F S C M T  G T  F

In this paper, we extend our ideas on model transformations as functors discussed in the previous issue and embed this concept into the framework of graph transformation systems. We show that under certain restrictions of the rules model transformations by graph transformation are functors.

گرانش f(t) و شتاب کیهانی

یکی از عجیب ترین مشاهدات اخیر در کیهان شناسی نوین که تاثیر شگرفی در دیدگاه کیهان شناسان در مورد سرنوشت عالم گذاشته است این است که عالم فعلی در مقیاس بزرگ شاهد انبساطی با شتاب مثبت می باشد. اما مساله مهم در اینجا این است که هنوز برای این شتاب کیهانی یک مکانیزم نظری خوب و دقیقی پیشنهاد نشده است. همانطور که می دانیم در نسبیت عام، انحنای فضازمان نقشی اساسی بازی می کند، اما این را نیز باید متذکر شد...

ناهمسانگردی کیهانی در مدل گرانش( f(t

در این پایان نامه ما به مطالعه ی امکان ناهمسانگردی در انبساط شتابدار عالم در گرانش ( f(t با استفاده از داده های ابر نو اختر توع یک (union2) و تابش انفجار گاما می پردازیم. ما یک مدل انرژی تاریک وابسته به جهت را باز سازی نموده ایم و بر روی جهت و بزرگی ناهمسانگردی قیدهایی را اعمال نموده ایم. ما بیشترین جهت و مقدار ناهمسانگردی را یافته ایم. همچنین اثرات چهار قطبی و هشت قطبی را هم در ناهمسانگردی مور...

T F L T C E  F L

We survey recent results on the enumeration of formal languages. In particular, we consider enumeration of regular languages accepted by deterministic and nondeterministic finite automata with n states, regular languages generated by regular expressions of a fixed length, and ω-regular languages accepted by Müller automata. We also survey the uncomputability of enumeration of context-free langu...